# -*- mode: snippet -*-
# name: open import
# key: oi
# --
open import 